GAP 代表了 Groups, Algorithms and Programming. GAP 这个命名的选取反映了该系统的目标, 其范围不单限于群, 对于其他代数结构如半群、代数等也涉及. http://www.gap-system.org/

GAP 是计算离散代数领域内的一个优秀系统, 主要专注于计算群论的计算. GAP最初的研发是1986年在德国亚琛工业大学数学系(Lehrstuhl D für Mathematik, RWTH Aachen)开始的. GAP 提供了一个编程语言, 也称为 GAP. 还提供了上千个由 GAP 语言写成的用于算法补充方面的函数库, 以及已经计算好的庞大的代数对象数据库. GAP 用于群及其表示、环、向量空间、代数、组合结构等的研究, 很多教师也用它来进行教学. GAP 是一个开放的自由软件, 按照 GPL 协议发布, 任何人都可以根据自己的需要对 GAP 进行修改或补充, 然后重新发布. 当然发布时必须说明修改或补充了什么东西. GAP 的很多宏包即是由广大使用者开发的. GAP 最新的版本是 4.4.12, 可以安装在 Linux, Windows, Mac 等系统上. GAP 在终端下的界面是文本式的, 对于输入的命令交互式执行. 但也可以加载一个用 GAP 语言写的程序文件, 然后执行. 终端界面的 GAP 命令操作需要使用者有一定的经验. 特别是 GAP 的有些宏包要发挥它的特性, 目前必须运行在 Linux 系统下, 其安装和使用都是需要一定知识的. 2004-2008, Yevgen Munty 开发了GAP的图形用户界面程序 GGAP.